ecl{-}trans{-}state($v$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecl{-}trans{-}state{-}from($v$;ecl{-}trans{-}init($v$);$L$)